x86/mm: only a single instance of gw_page_flags[] is needed
authorJan Beulich <jbeulich@suse.com>
Tue, 27 Oct 2015 10:46:35 +0000 (11:46 +0100)
committerJan Beulich <jbeulich@suse.com>
Tue, 27 Oct 2015 10:46:35 +0000 (11:46 +0100)
commitcaa0350794e22f67fc3d080ab538604428b34073
tree0aa91c7060474fb58da9b90857ce0cd37a18a7a8
parent9a6787cc3809c1e48e6fce22cacdd0def0cc2b92
x86/mm: only a single instance of gw_page_flags[] is needed

None of its elements depends on GUEST_PAGING_LEVELS.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: George Dunlap <george.dunlap@citrix.com>
xen/arch/x86/mm/guest_walk.c